import Data.List

main = do print(foldl' (+) 0 [1..10000])